Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
701	Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Functional languages Type theory Source code Lisp programming language Racket Macro Programming language Type safety Type system Software engineering Computing Computer programming
702	Seeing the Futures: Profiling Shared-Memory Parallel Racket James Swaine Northwestern University Burke Fetscher Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Functional languages Digital signal processing Parallel computing Application programming interfaces Racket Fast Fourier transform Futures and promises Cooley–Tukey FFT algorithm Append Computing Computer programming Software engineering
703	BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-13 09:59:00 Computational complexity theory Continuation-passing style Continuations Functional programming Lambda calculus Static single assignment form Reduction Theoretical computer science Applied mathematics Software engineering
704	BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-22 05:30:06 Continuations Functional programming Continuation-passing style Programming language semantics Eval Evaluation strategy Continuation Lambda calculus Operational semantics Software engineering Computing Control flow
705	BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-27 17:26:58 Higher-order functions Functional programming Lambda calculus Type theory Map Haskell AS3 Type system Generic programming Computing Software engineering Declarative programming
706	Seeing the Futures: Profiling Shared-Memory Parallel Racket James Swaine Northwestern University Burke Fetscher Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2012-07-11 20:10:20 Functional languages Digital signal processing Parallel computing Application programming interfaces Racket Fast Fourier transform Futures and promises Cooley–Tukey FFT algorithm Append Computing Computer programming Software engineering
707	Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document. Add to Reading List Source URL: cheatsheet.codeslower.com Language: English - Date: 2013-07-22 18:47:53 Type theory Functional programming Data types Subroutines Algebraic data type Pattern matching Anonymous function Monad Main function Software engineering Computing Computer programming
708	Compiler Copyright © Ericsson AB. All Rights Reserved. Compiler 6.0 June 23, 2015 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Procedural programming languages Functional languages Cross-platform software Compiler construction Perl Perl module Pascal Objective-C Erlang Software engineering Computing Computer programming
709	Used Software by R. P. Gabriel Lucid, Inc. 1. A Story The student looked out the window and wondered how to speed up his program. He Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:59:56 Programming paradigms Functional languages Procedural programming languages Lisp programming language Cross-platform software Lisp Programming language Object-oriented programming Computer program Computing Software engineering Computer programming
710	Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-26 13:01:51 Functional languages Type theory Procedural programming languages Functional programming Data types Agda Standard ML Type class Map Software engineering Computing Computer programming

UPDATE